How to make a proof of halting problem more convincing: a pedagogical remark
نویسندگان
چکیده
منابع مشابه
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark
Strassen's 1969 algorithm for fast matrix multiplication 2] is based on the possibility to multiply two 2 2 matrices A and B by using 7 multiplications instead of the usual 8. The corresponding formulas are an important part of any algorithms course, but, unfortunately, even in the best textbook expositions (see, e.g., 1]), they look very ad hoc. In this paper, we show that the use of natural s...
متن کاملA Parameterized Halting Problem
The parameterized problem p-Halt takes as input a nondeterministic Turing machine M and a natural number n, the size of M being the parameter. It asks whether every accepting run of M on empty input tape takes more than n steps. This problem is in the class XPuni, the class “uniform XP,” if there is an algorithm deciding it, which for fixed machine M runs in time polynomial in n. It turns out t...
متن کاملHow to Make AADL Specification More Precise
AADL (Architectural Analysis and Design Language) is a textual and graphical language used to design and analyze software architecture of embedded real time systems. Many tools and models provide semantics and precise meaning for AADL architecture behavior. However, they are not supported by a well defined formal semantics. This paper suggets Rewriting Logic via its practical language Maude as ...
متن کاملHow to Make Assured Service More Assured
In this paper, we study why the current assurance services (AS) architecture with pro lers/markers at edge routers and with queue management mechanisms (RIO) at core routers cannot achieve throughput assurance and fairness. Based on the ndings of the simulation study, we propose an enhanced version of the time sliding window (TSW) pro ler, called the enhanced TSW (ETSW). We also design two enha...
متن کاملHow to make stream processing more mainstream
Shuvra S. Bhattacharyya∗ Gordon Brebner†, Johan Eker‡, Jörn W. Janneck†, Marco Mattavelli§, Mickaël Raulet¶ ∗ Dept. of ECE and UMIACS, University of Maryland, College Park, MD 20742, [email protected] † Xilinx Research Labs, San Jose, CA 95123, {gordon.brebner,jorn.janneck}@xilinx.com ‡ Ericsson Research, Mobile Platforms, SE-221 83 Lund, Sweden, [email protected] § Microelectronic Systems Lab,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematical Forum
سال: 2018
ISSN: 1314-7536
DOI: 10.12988/imf.2018.71299